201. Introductory combinatorics
پدیدآورنده : Bogart, Kenneth P.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Combinatorial analysis,، Electronic data processing-- Mathematics
رده :
QA
164
.
B63
1990
202. Introductory discrete mathematics
پدیدآورنده : / V.K. Balakrishnan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Electronic data processing-- Mathematics
رده :
004
.
0151
B171i
203. Le langage APL
پدیدآورنده : Robinet, Bernard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، APL )Computer program language(,Mathematics ، Electronic data processing
رده :
QA
76
.
73
.
A27
R6
l979
204. Linear Algebra for Large Scale and Real-Time Applications
پدیدآورنده : edited by Marc S. Moonen, Gene H. Golub, Bart L. R. Moor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematics.,Systems theory.
205. Linear-Scaling Techniques in Computational Chemistry and Physic
پدیدآورنده : / [electronic resource]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic books,Chemistry, Data Processing,Physics, Data Processing,Chemistry, Mathematics,Mathematical Physics,Science, Chemistry, Computational & Molecular Modeling,Science, Physics, Mathematical & Computational,Science, Chemistry, General
رده :
E-BOOK
206. Maple user manual.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)
رده :
QA76
.
95
.
M362
2005
207. Mathematical Principles of Fuzzy Logic
پدیدآورنده : by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
208. Mathematical applications of electronic spreadsheets
پدیدآورنده : Arganbright, Deane
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Mathematics,، Electronic spreadsheets
رده :
QA
76
.
95
.
A7
1985
209. Mathematical aspects of computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Addresses, essays, lectures,، Electronic data processing-- Mathematics-- Addresses, essays, lectures
رده :
QA
76
.
S895
1966
210. Mathematical foundations of computer science 1988: proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Electronic data processing-- Mathematics
رده :
QA
76
.
9
.
M35
.
S95
1988
211. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
212. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
213. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
L8
1989
214. Mathematical software
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congressses
رده :
QA
1
.
M766
215. Mathematics & computing:with fortran programming
پدیدآورنده : DORN,WILLIAM S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
D67
216. Mathematics for computer programmers
پدیدآورنده : Kay, Christine Benedyk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,Programming ، Electronic digital computer
رده :
QA
76
.
9
.
M35
K38
1984
217. Mathematics for computers
پدیدآورنده : Kramer, Arthur D.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Mathematics
رده :
QA
76
.
9
.
M35
K73
218. Mathematics for computers
پدیدآورنده : Arthur D. Kramer
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic data processing- Mathematics
رده :
QA
،
76
.
9
،.
M35
,
K73
،
1986
219. Mathematics for data processing and computing
پدیدآورنده : Kolatis, Maria shopay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Electronic data processing-Mathematics
رده :
QA
76
.
9
.
M35
K63
1985
220. Metaheuristics for Hard Optimization
پدیدآورنده : by Johann Dréo, Patrick Siarry, Alain Pétrowski, Eric Taillard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing.,Engineering economy.,Engineering mathematics.,Mathematical optimization.,Operations research.,Structural control (Engineering)
